The Philosophy of Mathematics and Hilbert ’ s Proof Theory ( 1930 ) Paul
نویسندگان
چکیده
Anyone not familiar with mathematical activity may think, when reading and hearing today about the foundational crisis in mathematics or of the debate between “formalism” and “intuitionism,” that this science is shaken to its very foundations. In reality mathematics has been moving for a long time on a smooth wake, so that one senses more a lack of bigger sensations, although there is no lack of significant systematic progress and brilliant achievements.
منابع مشابه
The Philosophy of Mathematics and Hilbert ’ s Proof Theory ( 1930 ) Paul Bernays
‖ When we read and hear today about the foundational crisis in mathematics or of the dispute between “formalism” and “intuitionism,” then those who are unfamiliar with the activity of mathematical science may think that this science is shaken to its very foundations. In reality, mathematics has been moving for a long time in such quiet waters, that one rather senses a lack of stronger sensation...
متن کاملThe Philosophy of Mathematics and Hilbert ’ s Proof Theory ( 1930 )
ion than the conceptual logical ones. We therefore achieve no greater generality at all for mathematical knowledge as a result of its subsumption under logic; rather we achieve just the opposite; a specialization by logical interpretation, a kind of logical clothing. A typical example of such logical clothing is the method by which Frege P. Hertz defended the claim that logical inference contai...
متن کاملNew characterizations of fusion bases and Riesz fusion bases in Hilbert spaces
In this paper we investigate a new notion of bases in Hilbert spaces and similar to fusion frame theory we introduce fusion bases theory in Hilbert spaces. We also introduce a new denition of fusion dual sequence associated with a fusion basis and show that the operators of a fusion dual sequence are continuous projections. Next we dene the fusion biorthogonal sequence, Bessel fusion basis, Hil...
متن کاملProof Theory in Philosophy of Mathematics
A variety of projects in proof theory of relevance to the philosophy of mathematics are surveyed, including Gödel’s incompleteness theorems, conservation results, independence results, ordinal analysis, predicativity, reverse mathematics, speed-up results, and provability logics. Proof theory is the branch of mathematical logic in which proofs are studied as formal objects in their own right. I...
متن کاملLieber Herr Bernays ! , Lieber
1. Gödel, Bernays, and Hilbert. The correspondence between Paul Bernays and Kurt Gödel is one of the most extensive in the two volumes of Gödel’s collected works devoted to his letters of (primarily) scientific, philosophical and historical interest. It ranges from 1930 to 1975 and deals with a rich body of logical and philosophical issues, including the incompleteness theorems, finitism, const...
متن کامل